function get_default_video_folder(){
	return "/home/olpc/Videos/";
}
function getGoalbitPlugin(name){
    return document.getElementById(name);
};
function getPctype(){
	return "xo";
}